منابع مشابه
The scoop on eating dirt.
In the fall of 2009 a group of biology students at Tufts University sat down together and ate some dirt. They ground up small clay tablets and swallowed the powder to find out, firsthand, what clay tastes like. This unusual taste test was part of a Darwinian medicine class taught by one of us (Starks). The students were studying the evolution of geophagia—the practice of eating dirt, especially...
متن کاملNOVA Sco 2001 (V1178 SCO)
We present intermediate resolution spectroscopy and near infrared photometry of NOVA Sco 2001 (V1178 Sco), which was first detected May 13th 2001 and reported June 21th 2001, and obtained by us the same day. We also retrieved very accurate astrometry of the target in this very crowded field. This is needed to be able to do follow up observations of the postnova during the next years. The spectr...
متن کاملOn the Veri cation of SCOOP Programs
In this paper we focus on the development of a toolbox for the veri cation of programs in the context of SCOOP an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Ei el and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrating a...
متن کاملOn the Verification of SCOOP Programs
In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP – an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Eiffel and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrati...
متن کاملIntegrating SCOOP into EVE
SCOOP (Simple Concurrent Object-Oriented Programming) is a simple but very powerful O-O contract based framework for concurrent programming. The idea which was initially published in 1990 has since been developed to a comprehensive model with enriched type system, generalized semantics of contracts, flexible locking policy and library implementation. To use SCOOP one important step is missing: ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Molecular Cell
سال: 2007
ISSN: 1097-2765
DOI: 10.1016/j.molcel.2007.01.007